<html>
<head><meta charset="utf-8"><title>location-insensitive to datafrogopt · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/location-insensitive.20to.20datafrogopt.html">location-insensitive to datafrogopt</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="164102626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/location-insensitive%20to%20datafrogopt/near/164102626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/location-insensitive.20to.20datafrogopt.html#164102626">(Apr 24 2019 at 17:41)</a>:</h4>
<p><a href="https://github.com/lqd/borrow-check/commit/6a4ce84d3a1604f6e7453323cdb4760cd10afc65" target="_blank" title="https://github.com/lqd/borrow-check/commit/6a4ce84d3a1604f6e7453323cdb4760cd10afc65">this</a> was what I was mentioning yesterday.</p>



<a name="164102691"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/location-insensitive%20to%20datafrogopt/near/164102691" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/location-insensitive.20to.20datafrogopt.html#164102691">(Apr 24 2019 at 17:42)</a>:</h4>
<p>It's likely incorrect and incomplete :)</p>



<a name="164102719"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/location-insensitive%20to%20datafrogopt/near/164102719" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/location-insensitive.20to.20datafrogopt.html#164102719">(Apr 24 2019 at 17:42)</a>:</h4>
<p>(I'm especially wondering about only computing the "interesting" regions' TC or also including regions outliving them... rn it's only the TC and passes our small test suite, and doesn't seem that much different from DatafrogOpt on rustc's tests. But last I checked, less than 20 failed but now it's 200)</p>



<a name="164102740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/location-insensitive%20to%20datafrogopt/near/164102740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/location-insensitive.20to.20datafrogopt.html#164102740">(Apr 24 2019 at 17:43)</a>:</h4>
<p>In addition to incomplete, it might clash with the subset relations work, or future analyses, so I probably won't open a PR</p>



<a name="164102773"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/location-insensitive%20to%20datafrogopt/near/164102773" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/location-insensitive.20to.20datafrogopt.html#164102773">(Apr 24 2019 at 17:43)</a>:</h4>
<p>For fun and motivation I ran the old NLL benchmark comparison, and the numbers seemed <a href="https://gist.github.com/lqd/36463539f13ccb67434f16ee1b30a009" target="_blank" title="https://gist.github.com/lqd/36463539f13ccb67434f16ee1b30a009">interesting</a> in addition to probably wrong -- better to focus on completeness and correctness for the time being for sure</p>



<a name="164109946"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/location-insensitive%20to%20datafrogopt/near/164109946" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/location-insensitive.20to.20datafrogopt.html#164109946">(Apr 24 2019 at 19:02)</a>:</h4>
<p>looks interesting, yes</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>